//import java.text.DecimalFormat;
//import java.util.*;
//
///**
// * @Question class1
// * @Date 2022/12/31 14:03
// * @Solution
// */
//public class Main {
//    public static void main(String[] args) {
//        Scanner scanner = new Scanner(System.in);
//        int n=scanner.nextInt();
//        double sum=0;
//        List<String[]> list = new LinkedList<String[]>();
//        String d=scanner.nextLine();
//        for(int i=0;i<n;i++) {
//            String good=scanner.nextLine();
//            String[] dex = good.split(" ");
//            list.add(dex);
//        }
//        int sc=scanner.nextInt();
//        //统计每个商品数量
//        int w=0,h=0,b=0,e=0;
//        for (String[] cur:list) {
//            int num=Integer.parseInt(cur[2]);
//            if(cur[0].equals("W")) {
//                w+=num;
//            } else if(cur[0].equals("H")) {
//                h+=num;
//            } else if(cur[0].equals("B")) {
//                b+=num;
//            } else if(cur[0].equals("E")) {
//                e+=num;
//            }
//        }
//        //计算价格
//        for (String[] cur:list) {
//            int num=Integer.parseInt(cur[2]);
//            if(cur[0].equals("W")) {
//                if(w>=5) {
//                    double price=Integer.parseInt(cur[1])*num*0.95*0.8;
//                    sum+=price;
//                } else if(w>=3) {
//                    double price=Integer.parseInt(cur[1])*num*0.95*0.9;
//                    sum+=price;
//                } else {
//                    double price=Integer.parseInt(cur[1])*num*0.95;
//                    sum+=price;
//                }
//            } else if(cur[0].equals("H")) {
//                if(h>=5) {
//                    double price=Integer.parseInt(cur[1])*num*0.95*0.8;
//                    sum+=price;
//                } else if(h>=3) {
//                    double price=Integer.parseInt(cur[1])*num*0.95*0.9;
//                    sum+=price;
//                } else {
//                    double price=Integer.parseInt(cur[1])*num*0.95;
//                    sum+=price;
//                }
//            } else if(cur[0].equals("B")) {
//                if(b>=5) {
//                    double price=Integer.parseInt(cur[1])*num*0.95*0.8;
//                    sum+=price;
//                } else if(b>=3) {
//                    double price=Integer.parseInt(cur[1])*num*0.95*0.9;
//                    sum+=price;
//                } else {
//                    double price=Integer.parseInt(cur[1])*num*0.95;
//                    sum+=price;
//                }
//            } else if(cur[0].equals("E")) {
//                if(e>=5) {
//                    double price=Integer.parseInt(cur[1])*num*0.95*0.8;
//                    sum+=price;
//                } else if(e>=3) {
//                    double price=Integer.parseInt(cur[1])*num*0.95*0.9;
//                    sum+=price;
//                } else {
//                    double price=Integer.parseInt(cur[1])*num*0.95;
//                    sum+=price;
//                }
//            }
//        }
//        if(sc<5000) {
//            String format = new DecimalFormat("#.0").format(sum);
//            System.out.println(format);
//        } else if(sc>=5000&&sc<=10000) {
//            String format = new DecimalFormat("#.0").format(sum*0.95);
//            System.out.println(format);
//        } else if(sc>10000) {
//            String format = new DecimalFormat("#.0").format(sum*0.9);
//            System.out.println(format);
//        }
//    }
//}
